Delayed semantic actions in Yakker Trevor Jim Yitzhak Mandelbaum AT&T Labs–Research

Source URL: trevorjim.com

• Formal languages
• Programming language implementation
• Parsing algorithms
• Software engineering
• Computer programming
• Compiler construction
• Parsing
• Parser generators
• LR parser
• LL parser
• Context-free grammar
• Formal grammar

Åsgard Research Programme Norway - France The “Åsgard Research Programme" is managed by the Department for scientific cooperation of the French Embassy in Norway. It aims at inviting French and Norwegian scientists f

Source URL: www.france.no

• Europe
• Norway

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Source URL: scungao.github.io

• Computational complexity theory
• Theoretical computer science
• Mathematical logic
• NP-complete problems
• Electronic design automation
• Formal methods
• Logic in computer science
• Predicate logic
• Boolean satisfiability problem
• Quantifier
• Limit of a function
• Exponential time hypothesis

research-article2013 PSSXXX10.1177/0956797613501884Valdesolo, GrahamAwe and Agency Detection

Source URL: pdfs.semanticscholar.org

• Psychology
• Positive psychology
• Mind
• Emotions
• Well-being
• Awe
• Fear
• Risk
• Belief
• Elevation
• Aesthetics
• Gratitude

Transforming Spreadsheet Data Types using Examples Rishabh Singh Sumit Gulwani Microsoft Research, Redmond, USA

Source URL: rishabhmit.bitbucket.io

Where are the Best FinTech Centers? Dr. Thomas Ankenbrand, Denis Bieri, New research by the Institute of Financial Services Zug (IFZ) at Lucerne University of Applied Science

Source URL: innovation.thomsonreuters.com

• Human behavior
• World Bank
• Economy
• Culture
• Economic indicators
• Numbeo
• Social information processing
• College and university rankings
• Quality of life
• Ease of doing business index
• World Development Indicators
• QS World University Rankings

ON A VANISHING THEOREM OF S. SAITO AND K. SATO by Jean-Baptiste Teyssier Introduction This text is an expanded version of a talk given for the Winter research seminar

Source URL: jbteyssier.com

• Algebra
• Abstract algebra
• Mathematics
• Algebraic geometry
• Cohomology theories
• Homological algebra
• Sheaf theory
• Algebraic topology
• Divisor
• tale cohomology
• Chow group
• Sheaf

Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London

Source URL: www.cs.toronto.edu

• Data types
• Computing
• Theoretical computer science
• Software engineering
• Heap
• Tree
• Separation logic
• Variable
• Parse tree
• Logic programming
• Linked list

Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University

Source URL: publications.aston.ac.uk

• Mathematical analysis
• Probability and statistics
• Probability theory
• Machine learning
• Computational neuroscience
• Computational statistics
• Artificial neural networks
• Bayesian statistics
• Gaussian function
• Mixture model
• Mixture distribution
• Joint probability distribution

RESEARCH EXCELLENCE The Department of Sociology at the University of Toronto is committed to excellence in research and in teaching, and maintains that the two cannot be divorced from each other. For over fifty

Source URL: sociology.utoronto.ca

• Sociology
• Social science